6.6 Congruences ===============